12 results
OBITUARY: HORACIO ARLÓ-COSTA
-
- Article
-
- You have access
- HTML
- Export citation
SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 4 / December 2008
- Published online by Cambridge University Press:
- 01 December 2008, pp. 459-476
- Print publication:
- December 2008
-
- Article
- Export citation
PROBABILISTIC CONDITIONALS ARE ALMOST MONOTONIC
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 1 / June 2008
- Published online by Cambridge University Press:
- 01 June 2008, pp. 73-80
- Print publication:
- June 2008
-
- Article
- Export citation
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1487
- Print publication:
- December 1997
-
- Article
- Export citation
Robert Goldblatt. Logics of time and computation. Second edition of LVI 1495. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1992, also distributed by the University of Chicago Press, Chicago, ix + 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- March 1995
-
- Article
- Export citation
Robert Goldblatt. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1495-1496
- Print publication:
- December 1991
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York City, May 1987
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1270-1274
- Print publication:
- December 1988
-
- Article
- Export citation
David Harel. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 (1980), pp. 61–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-553
- Print publication:
- June 1985
-
- Article
- Export citation
Existence and feasibility in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-508
- Print publication:
- September 1971
-
- Article
- Export citation
Sheila Greibach. A new normal-form theorem for context-free phrase structure grammars. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 42–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
- Print publication:
- February 1970
-
- Article
- Export citation
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 28–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
- Print publication:
- August 1967
-
- Article
- Export citation